martin davismartin davis: martin davis (mathematician)mathematician: [,mæθimə'tiʃn]danh từnhà toán họcmathematiciannhà toán họcmartin: ['mɑ:tin]danh từ(động vật học) chim nhạn